منابع مشابه
Die Ausdrucksstärke der Logik erster Stufe mit eingebauten Prädikaten
Diese Arbeit ist in der Theoretischen Informatik positioniert, und zwar in den Fachgebieten Komplexitätstheorie, mathematische Logik und Datenbanktheorie. Die Arbeit beschäftigt sich mit der Ausdrucksstärke der Logik erster Stufe auf Strukturen mit eingebauten Prädikaten wie z.B. lineare Ordnung, Addition und Multiplikation. Die Hauptergebnisse lassen sich den drei Teilbereichen ” Arithmetik un...
متن کاملAutomatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
v vi Inhaltsverzeichnis 1 Einleitung 1
متن کاملMuster für die Geschäftsprozessmodellierung
Muster sind in der objektorientierten Softwareentwicklung ein populäres Hilfsmittel. Sie unterstützen die Kommunikation zwischen Entwicklern, erleichtern die Dokumentation von Modellen und sind in der Regel dokumentierte, bewährte Praktiken, welche auch von Anfängern erlernt werden können. Der vorliegende Beitrag überträgt die Idee des Musters auf Geschäftsprozessmodelle. Es wird eine Beschreib...
متن کاملSicherheitsdesign für die Netzinfrastruktur
Zusammenfassung Datenkommunikationstechnik hat in den vergangenen zehn Jahren zunächst die Informationsmedien im Wissenschaftsbereich revolutioniert und beginnt zunehmend auch die Geschäftsprozesse in Wirtschaft, Verwaltung und im privaten Umfeld zu bestimmen. Mitentscheidend für den Erfolg des Internet war das liberale und unreglementierte Umfeld der Universitäten, aus dem ein großer Teil der ...
متن کاملKonvergenzanalyse für die Partikelschwarmoptimierung
Partikelschwarmoptimierung (PSO) ist eine in der Praxis immer wieder sehr erfolgreich eingesetzte Metaheuristik zum Lösen von Black-Box-Optimierungsproblemen und wird speziell im Fall eines kontinuierlichen Suchraums verwendet. Dazu wird das in der Natur häufig auftretende Schwarmverhalten von miteinander kooperierenden Individuen imitiert. Die Dissertation liefert einen Beitrag zum besseren Ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: HNO Nachrichten
سال: 2011
ISSN: 0177-1000,2198-6533
DOI: 10.1007/bf03357087